| author | Stephane Glondu <steph@glondu.net> | |
| Thu, 17 Aug 2023 12:27:20 +0000 (14:27 +0200) | ||
| committer | Stéphane Glondu <glondu@debian.org> | |
| Tue, 30 Jun 2026 08:14:55 +0000 (10:14 +0200) | ||
| commit | f85ab9d471c52a791d4dc6e96acf3497f8b6615f | |
| tree | bf4ead1637e298678857d9d3ad92c6a377668fde | tree | snapshot |
| parent | 5dc224bfe0cc1c84eba35a1c0ea8bccd5c35fd6a | commit | diff |
| clock/select/select.ml | diff | blob | history |